import java.io.*;
import javax.swing.JTextArea;
public class GBufferedReader extends BufferedReader{
	final private JTextArea in;
	private boolean open;

	GBufferedReader(JTextArea in){
		super(null);
		this.in=in;
	}
	
	/** Close the stream.*/
	public void close(){open=false;}

	/** Mark the present position in the stream. */
	public void mark(int readAheadLimit){return;}

	/**Tell whether this stream supports the mark(){;} operation, which it does. */
	public boolean markSupported(){return false;}

	/** Read a single character. */
	public int read(){return 0;}

	/** Read characters into a portion of an array. */
	public int read(char[] cbuf, int off, int len){return 0;}

	/** Read a line of text. */
	public String readLine(){return in.text;}

	/** Tell whether this stream is ready to be read. */
	public boolean ready(){return true;}

	/** Reset the stream to the most recent mark. */
	public void reset(){;}

	/** Skip characters. */
	public long skip(long n){return 0;}
	
	/** Create a buffering character-input stream that uses a default-sized input buffer.*/
	//GBufferedReader(Reader in){super(null);}
	/** Create a buffering character-input stream that uses an input buffer of the specified size. */
	//GBufferedReader(Reader in, int sz) {super(null);}
}